101. Experimental algorithms

پدیدآورنده : / Paola Festa (ed.

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Computer algorithms, Congresses

رده :

QA76

.

9

.

A43S42

2010

102. Formal methods :

پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.

رده :

QA76

.

9

.

F67

103. Formal modeling and analysis of timed systems :

پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.

رده :

QA76

.

9

.

F67

104. Formalization of Programming Concepts:

پدیدآورنده : J Diaz

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming.,Computer science.,Software engineering.

رده :

QA76

.

6

J353

1981

105. Foundations of software science and computation structures :

پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :

QA76

.

751

.

F67

2018eb

106. Functional Programming :

پدیدآورنده : edited by Kei Davis, John Hughes.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Software engineering.

107. Functional Programming, Glasgow 1992 :

پدیدآورنده : edited by John Launchbury, Patrick Sansom.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Software engineering.

108. Fundamentals of data strucrures in Pascal

پدیدآورنده : / Ellis Horowitz, Sartaj sahni

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)

موضوع : Data structures (Computer science),PASCAL(computer program language)

رده :

QA

76

.

9

.

D35H67

1987

109. Fundamentals of data structures

پدیدآورنده : / Ellis Horowitz, Sartaj Sahni

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Data structures (Computer science)

رده :

QA76

,.

9

.

D35

,

H67

1996

110. Fundamentals of data structures

پدیدآورنده : Horowitz , Ellis

موضوع : ، Data struvtures ) Computer science(

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

111. Fundamentals of data structures in Pascal

پدیدآورنده : Horowitz, Ellis

موضوع : ، Data structures )Computer science(,، Pascal )Computer program language(

۳ نسخه از این کتاب در ۲ کتابخانه موجود است.

112. Fundamentals of data structures in Pascal

پدیدآورنده : Horowitz, Ellis

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Data structures )Computer science(,، Pascal )Computer program language(

رده :

QA

76

.

9

.

D35

H67

113. Fundamentals of data structures in Pascal

پدیدآورنده : Horowitz, Ellis.

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Data structures )Computer science(,، Pascal )Computer program language(

رده :

QA

76

.

9

.

D35

H67

1984

114. Fundamentals of data structures in pascal

پدیدآورنده : Horowitz, Ellis

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Data structures )Computer science(,، Pascal )Computer program language(

رده :

QA

76

.

9

.

D35

H67

1984b

115. Genetic Algorithms + Data Structures = Evolution Programs

پدیدآورنده : by Zbigniew Michalewicz.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Software engineering.

رده :

QA76

.

9

.

A43

B993

1994

116. Graph Drawing and Network Visualization :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science

117. Graph Transformations in Computer Science :

پدیدآورنده : edited by Hans Jürgen Schneider, Hartmut Ehrig.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Data structures (Computer science),Software engineering.

118. Grid Generation and Adaptive Algorithms

پدیدآورنده : edited by Marshall W. Bern, Joseph E. Flaherty, Mitchell Luskin.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorics.,Computer software.,Mathematics.

119. Guide to discrete mathematics :

پدیدآورنده : Gerard O'Regan.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics.,Algorithms & data structures.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Data Processing.,Computers-- History.,Computers-- Logic Design.,Computers-- Programming-- General.,Computing & information technology.,Discrete mathematics.,Mathematical modelling.,Mathematics-- Applied.,Maths for computer scientists.

رده :

QA76

.

9

.

M35

120. Guide to efficient software design

پدیدآورنده : David P. Voorhees.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Software architecture.,Software architecture.

رده :

QA76

.

754